Game Characterizations and Lower Cones in the Weihrauch Degrees

نویسندگان

  • Hugo Nobrega
  • Arno Pauly
چکیده

We introduce generalized Wadge games and show that each lower cone in the Weihrauch degrees is characterized by such a game. These generalized Wadge games subsume the original Wadge games, the eraser and backtrack games as well as variants of Semmes’ tree games. As a new example we introduce the tree derivative games which characterize all even finite levels of the Baire hierarchy, and a variant characterizing the odd finite levels.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Game characterizations of function classes and Weihrauch degrees

Games are an important tool in mathematics and logic, providing a clear and intuitive understanding of the notions they define or characterize. In particular, since the seminal work of Wadge in the 1970s, game characterizations of classes of functions in Baire space have been a rich area of research, having had significant and far-reaching development by van Wesep, Andretta, Duparc, Motto Ros, ...

متن کامل

On the algebraic structure of Weihrauch degrees

We introduce two new operations (compositional products and implication) on Weihrauch degrees, and investigate the overall algebraic structure. The validity of the various distributivity laws is studied and forms the basis for a comparison with similar structures such as residuated lattices and concurrent Kleene algebras. Introducing the notion of an ideal with respect to the compositional prod...

متن کامل

Joins in the strong Weihrauch degrees

The Weihrauch degrees and strong Weihrauch degrees are partially ordered structures representing degrees of unsolvability of various mathematical problems. Their study has been widely applied in computable analysis, complexity theory, and more recently, also in computable combinatorics. We answer an open question about the algebraic structure of the strong Weihrauch degrees, by exhibiting a joi...

متن کامل

ILLC PhD Pilot Study

This is a proposal for a thesis in the interface of descriptive set theory and computable analysis, in a continuation of my MoL thesis [9]. There, I was interested in studying connections between game characterizations of classes of functions in descriptive set theory and the theory of Weihrauch reducibility, in particular searching for counterparts in computable analysis to the game characteri...

متن کامل

CHARACTERIZATIONS OF (L;M)-FUZZY TOPOLOGY DEGREES

In this paper, characterizations of the degree to which a mapping $mathcal{T} : L^{X}longrightarrow M$ is an $(L, M)$-fuzzy topology are studied in detail.What is more, the degree to which an $L$-subset is an $L$-open set with respect to $mathcal{T}$ is introduced.Based on that, the degrees to which a mapping $f: Xlongrightarrow Y$ is continuous,open, closed or a quotient mapping with respect t...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2017